8. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
9. A course in mathematical logic for mathematicians
پدیدآورنده: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
10. A course in mathematical logic for mathematicians
پدیدآورنده: / Yu. I. Manin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
11. A first course in optimization theory /
پدیدآورنده: Rangarajan K. Sundaram
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
12. A first journey through logic /
پدیدآورنده: Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
13. A general theory of formality
پدیدآورنده: Beck, Andrew Edward
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
14. A graph-theoretic approach to enterprise network dynamics /
پدیدآورنده: Horst Bunke [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business enterprises-- Communication systems.,Graph theory-- Data processing.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.,Business enterprises-- Communication systems.,COMPUTERS-- Data Transmission Systems-- Broadband.,COMPUTERS-- Data Transmission Systems-- Wireless.,COMPUTERS-- Networking-- Local Area Networks (LANs),Graph theory-- Data processing.,Informatique.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.
رده :
TK5105
.
7
.
G735
2007eb
15. A lattice of chapters of mathematics
پدیدآورنده: Jan Mycielski, Pavel Pudlák, and Alan S. Stern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: First-order logic.,Lattice theory.,First-order logic.,Lattice theory.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
16. A mathematical introduction to logic
پدیدآورنده: / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical
رده :
E-BOOK
17. A problem solving approach to mathematics for elementary school teachers /
پدیدآورنده: Rick Billstein, University of Montana, Shlomo Libeskind, University of Oregon, Johnny W. Lott, University of Montana and Barbara Boschmans, Northern Arizona University for the chapter on Number Theory.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Study and teaching (Elementary),Problem solving-- Study and teaching (Elementary),Matematik.,Matematikundervisning.,Mathematics-- Study and teaching (Elementary),Problem solving-- Study and teaching (Elementary)
رده :
QA135
.
6
.
B55
2016
18. AQA A level Computer Science.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
19. Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaint
پدیدآورنده: / by Janusz T. Starczewski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer simulation,Engineering design,Electronic books
رده :
E-BOOK
